| Model: | pacman v.1 (MDP) |
| Parameter(s) | MAXSTEPS = 60 |
| Property: | crash (prob-reach) |
../PET-Tool/pet.sh reachability --precision 0.001 --relative-error --only-result -m pacman.nm -p pacman.props --property crash --const MAXSTEPS=60
| Walltime: | 113.973313331604s |
| Return code: | 0 |
| Relative Error: | 0.000497942113943906 |
0.5513819167